11![Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré](https://www.pdfsearch.io/img/c1c4f2163efcf4f1a7fff70b4a7c68cf.jpg) | Add to Reading ListSource URL: benedikt-ahrens.deLanguage: English - Date: 2014-05-06 15:17:31
|
---|
12![](/pdf-icon.png) | Add to Reading ListSource URL: www.emani.orgLanguage: English - Date: 2003-08-05 08:40:57
|
---|
13![Protocol Insecurity with a Finite Number of Sessions and Composed Keys is NP-complete∗ Michaël Rusinowitch and Mathieu Turuani LORIA-INRIA- Université Henri Poincaré, 54506 Vandoeuvre-les-Nancy cedex, France email:{ Protocol Insecurity with a Finite Number of Sessions and Composed Keys is NP-complete∗ Michaël Rusinowitch and Mathieu Turuani LORIA-INRIA- Université Henri Poincaré, 54506 Vandoeuvre-les-Nancy cedex, France email:{](https://www.pdfsearch.io/img/7d8cbaadc5ebd1c4ee31753b56ffc6c3.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2003-03-20 10:40:14
|
---|
14![Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS](https://www.pdfsearch.io/img/aad9a59e8107389faba020e03041d771.jpg) | Add to Reading ListSource URL: www.bourbaki.ens.frLanguage: French - Date: 2015-04-13 13:33:41
|
---|
15![Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS](https://www.pdfsearch.io/img/1287b9752e817465fd358cc2211b8023.jpg) | Add to Reading ListSource URL: www.bourbaki.ens.frLanguage: French - Date: 2015-04-13 13:33:27
|
---|
16![GÉOMÉTRIE ET ANALYSE DES REPRÉSENTATIONS DE GROUPES DE SURFACE INSTITUT HENRI POINCARÉ, 3 JANVIER-30 MARS 2012 Workshops Semaine introductive, 3-11 jan. GÉOMÉTRIE ET ANALYSE DES REPRÉSENTATIONS DE GROUPES DE SURFACE INSTITUT HENRI POINCARÉ, 3 JANVIER-30 MARS 2012 Workshops Semaine introductive, 3-11 jan.](https://www.pdfsearch.io/img/bb6f6a5edaa469fa09a16e2011034488.jpg) | Add to Reading ListSource URL: www.ihp.frLanguage: French - Date: 2011-04-07 08:59:14
|
---|
17![Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS](https://www.pdfsearch.io/img/610b597c65627bae6a94921682baa829.jpg) | Add to Reading ListSource URL: www.bourbaki.ens.frLanguage: French - Date: 2015-06-12 10:44:19
|
---|
18![Programme de la Rencontre des jeunes chercheurs africains en France Institut Henri Poincaré, 20 et 21 novembre Sessions Programme de la Rencontre des jeunes chercheurs africains en France Institut Henri Poincaré, 20 et 21 novembre Sessions](https://www.pdfsearch.io/img/e95c0131d9bd326e7b0a08d52a2a3d97.jpg) | Add to Reading ListSource URL: www.scienceafrique.frLanguage: French - Date: 2014-12-19 11:28:54
|
---|
19![Étude et instances de systèmes de preuves ordonnées École Jeunes Chercheurs en Programmation Guillaume Burel LORIA – Université Henri Poincaré Encadrant : Claude Kirchner Étude et instances de systèmes de preuves ordonnées École Jeunes Chercheurs en Programmation Guillaume Burel LORIA – Université Henri Poincaré Encadrant : Claude Kirchner](https://www.pdfsearch.io/img/350c59b8e79761ab3fc8219923dd210b.jpg) | Add to Reading ListSource URL: www.ensiie.frLanguage: French - Date: 2015-01-06 05:28:59
|
---|
20![Distinguished Lecture Professor Cédric Villani Cédric Villani is a professor of mathematics at Université de Lyon and the director of Institut Henri Poincaré in Paris. Distinguished Lecture Professor Cédric Villani Cédric Villani is a professor of mathematics at Université de Lyon and the director of Institut Henri Poincaré in Paris.](https://www.pdfsearch.io/img/534476db55c1995b4d15f6e7a470c32d.jpg) | Add to Reading ListSource URL: math.ipm.ac.ir |
---|